首页> 外文OA文献 >Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets

【2h】

Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets

机译：使用区间定时着色petri网建模和执行复杂攻击场景

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ole Martin Dahl; Stephen D. Wolthusen;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets [J] . Seungwok Han Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on . 2012,第3期

机译：使用扩展间隔定时彩色Petri网的时间关键上下文感知服务建模与分析
2. Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model [J] . Hanifa Boucheneb Computacion y Sistemas . 2006,第2期

机译：检查间隔定时有色Petri网模型的无定时和定时线性特性
3. Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets [J] . Daohua Wu, Eckehard Schnieder IEEE Transactions on Intelligent Transportation Systems . 2016,第11期

机译：基于场景的彩色Petri网基于卫星的列车控制系统的建模
4. Modeling and execution of complex attack scenarios using interval timed colored Petri nets [C] . Dahl O.M., Wolthusen S.D. Information Assurance, 2006. IWIA 2006. Fourth IEEE International Workshop on . 2006

机译：使用间隔定时彩色Petri网对复杂攻击场景进行建模和执行
5. A Systematic Approach to Modeling Re-entrant Manufacturing Systems with Colored Petri Nets. [D] . Nigro, Carmen. 2012

机译：用彩色Petri网建模可重入制造系统的系统方法。
6. SHER: A Colored Petri Net Based Random Mobility Model for Wireless Communications [O] . Naeem Akhtar Khan, Farooq Ahmad, Sher Afzal Khan -1

机译：SHER：用于无线通信的基于彩色Petri网的随机移动性模型
7. Modeling and execution of complex attack scenarios using interval timed colored petri nets [O] . Dahl, O.M., Wolthusen, S. 2006

机译：使用区间定时彩色petri网建模和执行复杂的攻击场景

Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅